Institutional 2-cells and Grothendieck Institutions

نویسنده

  • Till Mossakowski
چکیده

We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (some weak variants of) exactness. This framework can also be used for obtaining proof systems for heterogeneous theories involving institution semi-morphisms.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

نقش نهادها در توسعه کارآفرینی

The purpose of this article is to analyze and explain the relation between institutions and entrepreneurship, focusing on the entrepreneurship theorists’ viewpoints including Douglass North According to the institutional approach, the environment that shapes the economy, affects on entrepreneurial dynamics within each country. Such an environment is characterized by interdependencies between in...

متن کامل

The Role of Institutions in the Dynamic Effects of Oil Revenues in Oil Economies

The purpose of this paper is to investigate the system of oil revenues effects on the production performance of oil-rich countries in both short and long-run. To reveal new insight, a macroeconomic model is designed to hypothesize long-run structural relations in the economies of the oil-rich countries including three long-run relationships of real output, real money balance, and the adjusted p...

متن کامل

Long-Term Institutional Investors and social

the investment horizons of institutional investors can affect monitoring incentives which might ultimately make an impact on firm CSR decisions. Hence, this paper investigates the effects of institutional investor’s investment horizons on CSR activities.This research has been carried out using annual data of companies accepted in Tehran Stock Exchange during the period of 2011-2018. By screenin...

متن کامل

The Mediating Role of Institutional Factor on the Relationship between Entrepreneurship and Economic Growth

Entrepreneurship has long been perceived as a crucial determinant for economic growth. There has been a considerable upsurge in researches trying to determine the main elements driving entrepreneurship and the channel through which entrepreneurship generates economic growth; however, a global consensus has not been reached yet on theoretical, methodological and empirical levels.  The basic prob...

متن کامل

Natural Resources, Institutions Quality, and Economic Growth; A Cross-Country Analysis

Abstract[1] Natural resources as a source of wealth can increase prosperity or impede economic growth.  Empirical studies with different specifications and data are also mixed on whether natural resources are curse or blessing. In fact, the variety of model specifications, measurements, and samples in the empirical literature makes it difficult to generalize the results. In this study, a growth...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006